Sfoglia per Rivista MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
On the axiomatisability of priority
2008-01-01 Aceto, L; Chen, T; Fokkink, W; Ingólfsdóttir, A
Proving the validity of equations in GSOS languages using rule-matching bisimilarity
2012-01-01 Aceto, L; Cimini, M; Ingólfsdóttir, A
Special Issue in memory of Nadia Busi
2009-01-01 Aceto, L; Ingólfsdóttir, A
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
On the axiomatisability of priority | 1-gen-2008 | Aceto, L; Chen, T; Fokkink, W; Ingólfsdóttir, A | |
Proving the validity of equations in GSOS languages using rule-matching bisimilarity | 1-gen-2012 | Aceto, L; Cimini, M; Ingólfsdóttir, A | |
Special Issue in memory of Nadia Busi | 1-gen-2009 | Aceto, L; Ingólfsdóttir, A |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile